Live Music
Archive
Librivox
Free Audio
Metropolitan Museum
Cleveland
Museum of Art
Internet
Arcade
Console Living Room
Open Library
American
Libraries
TV News
Understanding
9/11Mathematical logic
Bookreader Item Preview
xiii, 398 pages : 24 cm
Part 1 of the present book gives quite a through, yet elementary, treatment of mathematical logic of first order. Part 2 of the book is intended to supplement Part 1 by providing greater depth of understanding of Part 1 and an introduction to some of the newer ideas and more profound results of logical research in the present century
Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Foundations of mathematics -- Computability and decidability -- Predicate calculus (additional topics)
Includes bibliographical references (pages 371-386)
Part 1 of the present book gives quite a through, yet elementary, treatment of mathematical logic of first order. Part 2 of the book is intended to supplement Part 1 by providing greater depth of understanding of Part 1 and an introduction to some of the newer ideas and more profound results of logical research in the present century
Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Foundations of mathematics -- Computability and decidability -- Predicate calculus (additional topics)
Includes bibliographical references (pages 371-386)
![[WorldCat (this item)]](/images/worldcat-small.png "[WorldCat (this item)]")
Reviews
There are no reviews yet. Be the first one to
.
